Exploring Directional Path-Consistency for Solving Constraint Networks
نویسندگان
چکیده
منابع مشابه
Exploring Directional Path-Consistency for Solving Constraint Networks
Among the local consistency techniques used for solving constraint networks, path-consistency (PC) has received a great deal of attention. However, enforcing PC is computationally expensive and sometimes even unnecessary. Directional path-consistency (DPC) is a weaker notion of PC that considers a given variable ordering and can thus be enforced more efficiently than PC. This paper shows that D...
متن کاملEfficient Path Consistency Algorithm for Large Qualitative Constraint Networks
We propose a new algorithm called DPC+ to enforce partial path consistency (PPC) on qualitative constraint networks. PPC restricts path consistency (PC) to a triangulation of the underlying constraint graph of a network. As PPC retains the sparseness of a constraint graph, it can make reasoning tasks such as consistency checking and minimal labelling of large qualitative constraint networks muc...
متن کاملAdapting Consistency in Constraint Solving
State-of-the-art constraint solvers uniformly maintain the same level of local consistency (usually arc consistency) on all the instances. We propose two approaches to adjust the level of consistency depending on the instance and on which part of the instance we propagate. The first approach, parameterized local consistency, uses as parameter the stability of values, which is a feature computed...
متن کاملConstraint Solving using Parallel Singleton Arc Consistency
In the latest years and with the advancements of the multicore computing world, the constraint programming community tried to benefit from the capacity of new machines and make the best use of them through several parallel schemes for constraint solving. In this paper, we present a new approach using parallel consistencies to enhance the classic solving process. In fact, a master process tries ...
متن کاملPath Consistency on Triangulated Constraint Graphs
Christian Bliek ILOG 1681 Route des Dolines 06560 Valbonne, France [email protected] Djamila Sam-Haroud Arti cial Intelligence Laboratory Swiss Federal Institute of Technology 1015 Lausanne, Switzerland [email protected] Abstract Among the local consistency techniques used in the resolution of constraint satisfaction problems (CSPs), path consistency (PC) has received a great deal of attention....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 2017
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/bxx122